Ministerie van Defensie:

7,0 miljard euro